"Gilles Dowek" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proofs and Algorithms: An Introduction to Logic and Computability

Категория: Математика, Прикладная математика

954 Kb

#2

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Gilles Dowek, Jean-Jacques Lévy

Категория: Компьютеры

907 Kb

#3

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

798 Kb

#4

Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Gilles Dowek

3.64 Mb

#5

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek

1.61 Mb

#6

Principles of programming languages

Gilles Dowek

1.95 Mb

#7

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Категория: Cs_Computer science, CsLn_Lecture notes

3.53 Mb

#8

Principles of Programming Languages

Категория: Chemistry-Environmental-Material

9.72 Mb

#9

Automated Reasoning, 4 conf., IJCAR 2008

Alessandro Armando, Peter Baumgartner, Gilles Dowek

Категория: CsLn_

6.04 Mb

#10

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

2.40 Mb